From 9ae44a26da768ebd00f8ad3718729cf028232daa Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Tue, 25 Jul 2006 16:03:12 +0100 Subject: [PATCH] Fix docs build after vtpm changes. Signed-off-by: Keir Fraser --- docs/src/user.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/user.tex b/docs/src/user.tex index ea183158c3..3c3afcee78 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -1450,7 +1450,7 @@ tools/vtpm/Rules.mk must look as follows: BUILD_EMULATOR = y \end{verbatim} -Second, the entry in the file tool/vtpm_manager/Rules.mk must be uncommented +Second, the entry in the file tool/vtpm\_manager/Rules.mk must be uncommented as follows: \begin{verbatim} -- 2.30.2